Collaborative Computation in Self-Organizing Particle Systems

Many forms of programmable matter have been proposed for various tasks. We use an abstract model of self-organizing particle systems for programmable matter which could be used for a variety of applications, including smart paint and coating materials for engineering or programmable cells for medical uses. Previous research using this model has focused on shape formation and other spatial configuration problems (e.g., coating and compression). In this work we study foundational computational tasks that exceed the capabilities of the individual constant size memory of a particle, such as implementing a counter and matrix-vector multiplication. These tasks represent new ways to use these self-organizing systems, which, in conjunction with previous shape and configuration work, make the systems useful for a wider variety of tasks. They can also leverage the distributed and dynamic nature of the self-organizing system to be more efficient and adaptable than on traditional linear computing hardware. Finally, we demonstrate applications of similar types of computations with self-organizing systems to image processing, with implementations of image color transformation and edge detection algorithms

Description of the Immatures of the Ant, Myrmelachista catharinae

The Neotropical ant genus Myrmelachista Roger comprises 69 described species and subspecies, and still is a poorly studied group. Larvae play a paramount role in colony nutrition in social hymenopterans and bear considerable value in the reconstruction of group phylogenies, however, they are generally neglected. Larvae of different instars of Myrmelachista catharinae Mayr (Hymenoptera: Formicidae) are herein described in detail by light and scanning electron microscopy. The number of larval instars was estimated as three based on the frequency distribution of maximum head capsule widths. The described larvae confirmed some traits typical of the genus: general shape of body and mandibles, general aspect and distribution of body hairs, and the number of sensilla on the palps and galea. Differently from other Myrmelachista larvae previously described, M. catharinae presented two distinct kinds of second instars, some additional types of body hairs, different number of antennal sensilla, and a distinct labrum shape. M. catharinae presented ten pairs of spiracles, which is the first record for this genus

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Designing a complex intervention for dementia case management in primary care

Background: Community-based support will become increasingly important for people with dementia, but currently services are fragmented and the quality of care is variable. Case management is a popular approach to care co-ordination, but evidence to date on its effectiveness in dementia has been equivocal. Case management interventions need to be designed to overcome obstacles to care co-ordination and maximise benefit. A successful case management methodology was adapted from the United States (US) version for use in English primary care, with a view to a definitive trial. Medical Research Council guidance on the development of complex interventions was implemented in the adaptation process, to capture the skill sets, person characteristics and learning needs of primary care based case managers. Methods: Co-design of the case manager role in a single NHS provider organisation, with external peer review by professionals and carers, in an iterative technology development process. Results: The generic skills and personal attributes were described for practice nurses taking up the case manager role in their workplaces, and for social workers seconded to general practice teams, together with a method of assessing their learning needs. A manual of information material for people with dementia and their family carers was also created using the US intervention as its source. Conclusions: Co-design produces rich products that have face validity and map onto the complexities of dementia and of health and care services. The feasibility of the case manager role, as described and defined by this process, needs evaluation in ‘real life’ settings

Phenomenology of event shapes at hadron colliders

We present results for matched distributions of a range of dijet event shapes at hadron colliders, combining next-to-leading logarithmic (NLL) accuracy in the resummation exponent, next-to-next-to leading logarithmic (NNLL) accuracy in its expansion and next-to-leading order (NLO) accuracy in a pure alpha_s expansion. This is the first time that such a matching has been carried out for hadronic final-state observables at hadron colliders. We compare our results to Monte Carlo predictions, with and without matching to multi-parton tree-level fixed-order calculations. These studies suggest that hadron-collider event shapes have significant scope for constraining both perturbative and non-perturbative aspects of hadron-collider QCD. The differences between various calculational methods also highlight the limits of relying on simultaneous variations of renormalisation and factorisation scale in making reliable estimates of uncertainties in QCD predictions. We also discuss the sensitivity of event shapes to the topology of multi-jet events, which are expected to appear in many New Physics scenarios.Comment: 70 pages, 25 figures, additional material available from http://www.lpthe.jussieu.fr/~salam/pp-event-shapes

Migrations and habitat use of the smooth hammerhead shark (Sphyrna zygaena) in the Atlantic Ocean

The smooth hammerhead shark, Sphyrna zygaena, is a cosmopolitan semipelagic shark captured as bycatch in pelagic oceanic fisheries, especially pelagic longlines targeting swordfish and/or tunas. From 2012 to 2016, eight smooth hammerheads were tagged with Pop-up Satellite Archival Tags in the inter-tropical region of the Northeast Atlantic Ocean, with successful transmissions received from seven tags (total of 319 tracking days). Results confirmed the smooth hammerhead is a highly mobile species, as the longest migration ever documented for this species (> 6600 km) was recorded. An absence of a diel vertical movement behavior was noted, with the sharks spending most of their time at surface waters (0-50 m) above 23 degrees C. The operating depth of the pelagic long-line gear was measured with Minilog Temperature and Depth Recorders, and the overlap with the species vertical distribution was calculated. The overlap is taking place mainly during the night and is higher for juveniles (similar to 40% of overlap time). The novel information presented can now be used to contribute to the provision of sustainable management tools and serve as input for Ecological Risk Assessments for smooth hammerheads caught in Atlantic pelagic longline fisheries.Oceanario de Lisboa through Project "SHARK-TAG: Migrations and habitat use of the smooth hammerhead shark in the Atlantic Ocean"; Investigador-FCT from the Portuguese Foundation for Science and Technology (FCT, Fundacao para a Ciencia e Tecnologia) [Ref: IF/00253/2014]; EU European Social Fund; Programa Operacional Potencial Human

Detection of the pairwise kinematic Sunyaev-Zel'dovich effect with BOSS DR11 and the Atacama Cosmology Telescope

We present a new measurement of the kinematic Sunyaev-Zeldovich effect using data from the Atacama Cosmology Telescope (ACT) and the Baryon Oscillation Spectroscopic Survey (BOSS). Using 600 square degrees of overlapping sky area, we evaluate the mean pairwise baryon momentum associated with the positions of 50,000 bright galaxies in the BOSS DR11 Large Scale Structure catalog. A non-zero signal arises from the large-scale motions of halos containing the sample galaxies. The data fits an analytical signal model well, with the optical depth to microwave photon scattering as a free parameter determining the overall signal amplitude. We estimate the covariance matrix of the mean pairwise momentum as a function of galaxy separation, using microwave sky simulations, jackknife evaluation, and bootstrap estimates. The most conservative simulation-based errors give signal-to-noise estimates between 3.6 and 4.1 for varying galaxy luminosity cuts. We discuss how the other error determinations can lead to higher signal-to-noise values, and consider the impact of several possible systematic errors. Estimates of the optical depth from the average thermal Sunyaev-Zeldovich signal at the sample galaxy positions are broadly consistent with those obtained from the mean pairwise momentum signal.Comment: 15 pages, 8 figures, 2 table

Molecular identification of adenoviruses associated with respiratory infection in Egypt from 2003 to 2010.

BACKGROUND: Human adenoviruses of species B, C, and E (HAdV-B, -C, -E) are frequent causative agents of acute respiratory infections worldwide. As part of a surveillance program aimed at identifying the etiology of influenza-like illness (ILI) in Egypt, we characterized 105 adenovirus isolates from clinical samples collected between 2003 and 2010. METHODS: Identification of the isolates as HAdV was accomplished by an immunofluorescence assay (IFA) and confirmed by a set of species and type specific polymerase chain reactions (PCR). RESULTS: Of the 105 isolates, 42% were identified as belonging to HAdV-B, 60% as HAdV-C, and 1% as HAdV-E. We identified a total of six co-infections by PCR, of which five were HAdV-B/HAdV-C co-infections, and one was a co-infection of two HAdV-C types: HAdV-5/HAdV-6. Molecular typing by PCR enabled the identification of eight genotypes of human adenoviruses; HAdV-3 (n = 22), HAdV-7 (n = 14), HAdV-11 (n = 8), HAdV-1 (n = 22), HAdV-2 (20), HAdV-5 (n = 15), HAdV-6 (n = 3) and HAdV-4 (n = 1). The most abundant species in the characterized collection of isolates was HAdV-C, which is concordant with existing data for worldwide epidemiology of HAdV respiratory infections. CONCLUSIONS: We identified three species, HAdV-B, -C and -E, among patients with ILI over the course of 7 years in Egypt, with at least eight diverse types circulating

A randomized controlled trial to evaluate self-determination theory for exercise adherence and weight control: rationale and intervention description

<p>Abstract</p> <p>Background</p> <p>Research on the motivational model proposed by Self-Determination Theory (SDT) provides theoretically sound insights into reasons why people adopt and maintain exercise and other health behaviors, and allows for a meaningful analysis of the motivational processes involved in behavioral self-regulation. Although obesity is notoriously difficult to reverse and its recidivism is high, adopting and maintaining a physically active lifestyle is arguably the most effective strategy to counteract it in the long-term. The purposes of this study are twofold: i) to describe a 3-year randomized controlled trial (RCT) aimed at testing a novel obesity treatment program based on SDT, and ii) to present the rationale behind SDT's utility in facilitating and explaining health behavior change, especially physical activity/exercise, during obesity treatment.</p> <p>Methods</p> <p>Study design, recruitment, inclusion criteria, measurements, and a detailed description of the intervention (general format, goals for the participants, intervention curriculum, and main SDT strategies) are presented. The intervention consists of a 1-year group behavioral program for overweight and moderately obese women, aged 25 to 50 (and pre-menopausal), recruited from the community at large through media advertisement. Participants in the intervention group meet weekly or bi-weekly with a multidisciplinary intervention team (30 2 h sessions in total), and go through a program covering most topics considered critical for successful weight control. These topics and especially their delivery were adapted to comply with SDT and Motivational Interviewing guidelines. Comparison group receive a general health education curriculum. After the program, all subjects are follow-up for a period of 2 years.</p> <p>Discussion</p> <p>Results from this RCT will contribute to a better understanding of how motivational characteristics, particularly those related to physical activity/exercise behavioral self-regulation, influence treatment success, while exploring the utility of Self-Determination Theory for promoting health behavior change in the context of obesity.</p> <p>Trial Registration</p> <p><b>Clinical Trials Gov. Identifier </b>NCT00513084</p